#ifdef BACKEND_QTHREAD
#include "qthread.h"
void hthread_init(){
  qthread_init();
}
void hthread_spawn(void *func, void *arg) {
  qthread_spawn((void(*)(void*))func, arg);
}

void hthread_join(){
  qthread_join();
}
#endif
#ifdef BACKEND_ATHREAD
#ifdef __sw_ocn__
#endif
#ifdef __sw_thl__
extern void __real_athread_spawn(void *, void *);
extern void athread_join();
extern void athread_init();

void hthread_init(){
  athread_init();
}
void hthread_spawn(void *func, void *arg) {
  __real_athread_spawn(func, arg);
}

void hthread_join(){
  athread_join();
}
#endif
#endif
